An automated system repair framework with signal temporal logic

Lutetium-177 DOTATATE Production with an Automated Radiopharmaceutical Synthesis System

Objective(s): Peptide Receptor Radionuclide Therapy (PRRT) with yttrium-90 (90Y) and lutetium-177 (177Lu)-labelled SST analogues are now therapy option for patients who have failed to respond to conventional medical therapy. In-house production with automated PRRT synthesis systems have clear advantages over manual methods resulting in increasing use in hospital-based radiopharmacies. We report...

On Signal Temporal Logic

Control with Probabilistic Signal Temporal Logic

Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces. Designing such controllers is challenging due to computational complexity and the lack of expressivity of existing specification languages. In this paper, we propose a probabilist...

Creating an Automated Grid Repair System

With the rise in interest in the field of Grid and Cloud computing, it is becoming increasingly necessary for the Grid to be easily maintainable. This maintenance of the Grid and Grid services can be made easier by using an automated system to monitor and repair the Grid as necessary. We propose a novel system to perform automated monitoring and repair of Grid systems. To the best of our knowle...

Framework for an Automated Comparison of Description Logic Reasoners

OWL is an ontology language developed by the W3C, and although initially developed for the Semantic Web, OWL has rapidly become a de facto standard for ontology development in general. The design of OWL was heavily influenced by research in description logics, and the specification includes a formal semantics. One of the goals of this formal approach was to provide interoperability: different O...